XOR Circuit Equivalence